Tensor subalgebras and First Fundamental Theorems in invariant theory

Abstract. Let V = C and let T := T (V ) ⊗ T (V ∗) be the mixed tensor algebra over V . We characterize those subsets A of T for which there is a subgroup G of the unitary group U(n) such that A = T. They are precisely the nondegenerate contraction-closed graded ∗-subalgebras of T . While the proof makes use of the First Fundamental Theorem for GL(n,C) (in the sense of Weyl), the characterization has as direct consequences First Fundamental Theorems for several subgroups of GL(n,C). Moreover, a Galois connection between linear algebraic ∗-subgroups of GL(n,C) and nondegenerate contraction-closed ∗-subalgebras of T is derived.